Combinational arithmetic systems for the approximation

نویسنده

  • CHIN TUNG
چکیده

The concepts of arithmetic building blocks (ABB) and combinational arithmetic (CA) nets as well as their applications have been previously reported in References 3, 4, and 5. The unique ABB, resulting from the efforts of minimizing the set of building blocks in Reference 3, is designed at the arithmetic level, employing the redundant signed-digit number system,2 and is to be implemented as one package by LSI techniques. The ABB performs arithmetic operations on individual digits of radix r > 2 and its main transfer functions are: the sum (symbol +) and product (symbol *) of two digits, the multiple sum of m digits (m ::; r + 1), (symbol ¢), and the reconversion to a non-redundant form (symbol RS). A single ABB may serve as the arithmetic processor of a serially organized computer. Many ABB's can be interconnected to form parallel arrays called combinational arithmetic (CA) nets which compute sums, products, quotients, or evaluate more complex functions: trigonometric, exponential, logarithmic, gamma, etc. Because of the use of signed-digit numbers, the parallel addition and multiplication speed is independent of the length of operands. A design procedure has been developed for CA netsS-a given algorithm is initially represented by a directed graph (algorithm graph, or A-graph), which is then converted to an interconnected diagram of ABB's (hardware graph, or H-graph). The delay through one ABB is defined to be one time unit,

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Note on the First Geometric-Arithmetic Index of Hexagonal Systems and Phenylenes

The first geometric-arithmetic index was introduced in the chemical theory as the summation of 2 du dv /(du  dv ) overall edges of the graph, where du stand for the degree of the vertex u. In this paper we give the expressions for computing the first geometric-arithmetic index of hexagonal systems and phenylenes and present new method for describing hexagonal system by corresponding a simple g...

متن کامل

Self-similar fractals and arithmetic dynamics

‎The concept of self-similarity on subsets of algebraic varieties‎ ‎is defined by considering algebraic endomorphisms of the variety‎ ‎as `similarity' maps‎. ‎Self-similar fractals are subsets of algebraic varieties‎ ‎which can be written as a finite and disjoint union of‎ ‎`similar' copies‎. ‎Fractals provide a framework in which‎, ‎one can‎ ‎unite some results and conjectures in Diophantine g...

متن کامل

Collection of Combinational Arithmetic Miters

In this short note we present a collection of benchmarks submitted to the SAT Competition 2016. Most of them stem from other sources, some crafted ones are new, but all present equivalence checking problems (miters) for arithmetic circuits, such as multipliers.

متن کامل

Verification of arithmetic datapath designs using word-level approach - A case study

The paper describes an efficient method to prove equivalence between two integer arithmetic datapath designs specified at the register transfer level. The method is illustrated with an industrial ALU design. As reported in literature, solving it using a commercial equivalence checking tool required casesplitting, which limits its applicability to larger designs. We show how such a task can be s...

متن کامل

Function Verification of Combinational Arithmetic Circuits

FUNCTION VERIFICATION OF COMBINATIONAL ARITHMETIC CIRCUIT MAY 2015 DUO LIU B.S., JIANGNAN UNIVERSITY, WUXI, JIANGSU, CHINA M.S.E.C.E., UNIVERSITY OF MASSACHUSETTS AMHERST Directed by: Professor Maciej Ciesielski Hardware design verification is the most challenging part in overall hardware design process. It is because design size and complexity are growing very fast while the requirement for pe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010